1,967 research outputs found

    Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities

    Full text link
    This paper investigates the relationship between the Logical Algorithms language (LA) of Ganzinger and McAllester and Constraint Handling Rules (CHR). We present a translation schema from LA to CHR-rp: CHR with rule priorities, and show that the meta-complexity theorem for LA can be applied to a subset of CHR-rp via inverse translation. Inspired by the high-level implementation proposal for Logical Algorithm by Ganzinger and McAllester and based on a new scheduling algorithm, we propose an alternative implementation for CHR-rp that gives strong complexity guarantees and results in a new and accurate meta-complexity theorem for CHR-rp. It is furthermore shown that the translation from Logical Algorithms to CHR-rp combined with the new CHR-rp implementation, satisfies the required complexity for the Logical Algorithms meta-complexity result to hold.Comment: To appear in Theory and Practice of Logic Programming (TPLP

    Cavity enhanced reflector based hybrid silicon laser

    Get PDF
    We present a novel approach to integrate III-V based hybrid lasers on a silicon platform using resonant grating structures as compact and highly-reflective mirrors

    Electrically pumped 1550 nm single mode III-V-on-silicon laser with resonant grating cavity mirrors

    Get PDF
    This article presents a novel III-V on silicon laser. This work exploits the phenomenon that a passive silicon cavity, side-coupled to a III-V waveguide, will provide high and narrow-band reflectivity into the III-V waveguide: the resonant mirror. This results in an electrically pumped laser with a threshold current of 4 mA and a side-mode suppression ratio up to 48 dB

    Parce qu’il y a aussi les cartes et les atlas…

    Get PDF

    La vigne et le vin au Québec : bon goût et ténacité vigneronne

    Get PDF
    Bien qu'au Québec le commerce des vins soit entièrement monopolisé par un organisme d'Etat, les consommateurs disposent d'un choix tout à fait exceptionnel de vins provenant d'un peu partout dans le monde. Pour plusieurs ce goût pour le vin représente une sorte de retour aux sources. Même la culture de la vigne, que depuis les débuts de la colonie un petit nombre s'est toujours acharné à cultiver, avec peu de succès il faut l'admettre, n'a jamais été totalement abandonnée. Elle est même en voie de se développer, malgré le peu d'appui voire les obstacles provenant de l'Etat québécois, qui craint l'innovation locale. Bien sûr modeste, cette avancée de la viticulture commerciale, réalisée sous des conditions climatiques marginales, repose sur des initiatives originales voire audacieuses. L'étude du Vignoble de l'Orpailleur l'illustre.Although as elsewhere in Canada the wine trade is entirely monopolized by a provincial agency, Québec consumers nevertheless have access to an exceptionally broad choice of wines imported from around the world. The growing taste for good wines is thought by many to represent a return to ancestral roots. Even the cultivation of vineyards, which since the early days of the colony has been attempted by a stubborn few, without much success, is once again gaining popularity. And this despite the lack of support from government agencies which seem to dread local competition. To illustrate the marginal, even extreme climatic conditions of cultivation, as well as the inventiveness of the wine growers, one of the most successful operations, the Vignoble de l'Orpailleur, is examined here

    Contre l’idéalisme en géographie

    Get PDF
    De la géographie classique aux multiples géographies modernes un puissant courant d'idéalisme philosophique a contribué à faire de la discipline un solide instrument des pouvoirs réactionnaires. La démonstration de l'existence de ce courant est tentée à travers l'analyse de textes d'auteurs tels Vidal de la Blache, Brunhes, Sautter, Morrill, Gould, Berry, Racine; cette analyse amène la critique de thèmes tels ceux d'équilibre, harmonie, région, paysage, diffusion, modèles, dualité, perception, cartes mentales. En résulte une proposition de reconnaissance des fondements d'abord matériels des rapports qui s'établissent entre les hommes, des conditions spatiales de leur élaboration tout comme des exigences spatiales qui en découlent. Par delà cette critique et les propositions concrètes de changement qu'elle entraîne, est remise en question la nature même du travail intellectuel et des liens qu'il entretient avec le pouvoir d'État.Starting with classical geography and throughout its multiple modem versions, the discipline has been influenced by a powerful current of pholosophical idealism which has made it a solid instrument of reactionary powers. The demonstration of the existence of this current is attempted through the analysis of articles written by Vidal de la Blache, Brunhes, Sautter, Morrill, Gould, Berry, Racine; this analysis involves the critique of themes such as equilibrium, harmony, region, landscape, diffusion, models, dualism, perception, mental maps. There follows a proposal to recognize that the foundations of social relations are firstly material, that such is the case also for the spatial conditions and the spatial constraints of their elaboration. Beyond this critique and the concrete proposals for change that result there from, is also questioned the very nature of intellectual work and of the links it entertains with State power
    • …
    corecore